/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package classcreator;

import java.util.Vector;

/**
 *
 * @author Stefano
 */
public class TypeRepository extends Vector<Type> {
    public TypeRepository(){
        super();
        for(Type t:Naming.primitiveTypes){
            this.add(t);
        }
    }
    
    public boolean add(Type t){
        for(Type type:this){
            if(type.equals(t)) return false;
        }
        return super.add(t);
    }
}
